11![Kagan Tumer Nomination for the IFAAMAS BOARDKagan Tumer is a Professor at Oregon State University, and the director of the multidisciplinary Graduate Robotics Program (OSU is one of only five universities in the Kagan Tumer Nomination for the IFAAMAS BOARDKagan Tumer is a Professor at Oregon State University, and the director of the multidisciplinary Graduate Robotics Program (OSU is one of only five universities in the](https://www.pdfsearch.io/img/404ca57f14346d3ec329905800ed9a7e.jpg) | Add to Reading ListSource URL: www.aamas-conference.orgLanguage: English - Date: 2016-03-14 20:09:08
|
---|
12![Noname manuscript No. (will be inserted by the editor) Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions Jasmin Christian Blanchette Noname manuscript No. (will be inserted by the editor) Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions Jasmin Christian Blanchette](https://www.pdfsearch.io/img/169dc7cd0152b77e94cfdaf245803cca.jpg) | Add to Reading ListSource URL: people.mpi-inf.mpg.deLanguage: English - Date: 2015-01-25 16:18:54
|
---|
13![Structural Recursion as a Query Language y Val Breazu-Tannen, Peter Buneman Department of Computer and Information Science University of Pennsylvania Philadelphia, PA 19104{6389, USA val, peter @cis.upenn.edu Structural Recursion as a Query Language y Val Breazu-Tannen, Peter Buneman Department of Computer and Information Science University of Pennsylvania Philadelphia, PA 19104{6389, USA val, peter @cis.upenn.edu](https://www.pdfsearch.io/img/2249fd6859f75d49d029109f3650dc52.jpg) | Add to Reading ListSource URL: homepages.inf.ed.ac.ukLanguage: English - Date: 2006-12-31 07:06:16
|
---|
14![MPC vs. SFE: Perfect Security in a Unified Corruption Model ? Zuzana Beerliov´a-Trub´ıniov´a, Matthias Fitzi, Martin Hirt, Ueli Maurer, and Vassilis Zikas Department of Computer Science, ETH Zurich {bzuzana,fitzi,hir MPC vs. SFE: Perfect Security in a Unified Corruption Model ? Zuzana Beerliov´a-Trub´ıniov´a, Matthias Fitzi, Martin Hirt, Ueli Maurer, and Vassilis Zikas Department of Computer Science, ETH Zurich {bzuzana,fitzi,hir](https://www.pdfsearch.io/img/f4d530d061030b61571ca75a2da1aa41.jpg) | Add to Reading ListSource URL: www.cs.rpi.eduLanguage: English - Date: 2011-02-19 14:29:40
|
---|
15![Raising Level of Abstraction with Partial Models: A Vision Marsha Chechik1 , Arie Gurfinkel2 , Sebastian Uchitel3 , and Shoham Ben-David1 1 3 Raising Level of Abstraction with Partial Models: A Vision Marsha Chechik1 , Arie Gurfinkel2 , Sebastian Uchitel3 , and Shoham Ben-David1 1 3](https://www.pdfsearch.io/img/71bc4679b0771a84146f47d5b547d30c.jpg) | Add to Reading ListSource URL: fm.csl.sri.comLanguage: English - Date: 2010-10-31 06:33:48
|
---|
16![Microsoft Word - CFPDraft- PN Microsoft Word - CFPDraft- PN](https://www.pdfsearch.io/img/874f78dc47183b98739bba4c8c143c6c.jpg) | Add to Reading ListSource URL: petrinets2014.cnam.frLanguage: English - Date: 2013-06-24 11:01:34
|
---|
17![! An Agent-Based Approach to Modeling Membrane Formation Bryan Head, Kai Orton, Uri Wilensky Center for Connected Learning and Computer-Based Modeling ! An Agent-Based Approach to Modeling Membrane Formation Bryan Head, Kai Orton, Uri Wilensky Center for Connected Learning and Computer-Based Modeling](https://www.pdfsearch.io/img/8606abfc5516a5ff0826f02d994a9bf6.jpg) | Add to Reading ListSource URL: ccl.northwestern.eduLanguage: English - Date: 2016-05-03 12:24:06
|
---|
18![Approximating the Size of a Radio Network in Beeping Model Philipp Brandes1 , Marcin Kardas2 , Marek Klonowski2 , Dominik Pająk2 , and Roger Wattenhofer1 ? 1 2 Approximating the Size of a Radio Network in Beeping Model Philipp Brandes1 , Marcin Kardas2 , Marek Klonowski2 , Dominik Pająk2 , and Roger Wattenhofer1 ? 1 2](https://www.pdfsearch.io/img/a474f6acc8f938e7738da9a6787f5757.jpg) | Add to Reading ListSource URL: www.tik.ee.ethz.chLanguage: English - Date: 2016-07-19 07:32:17
|
---|
19![Strong systematicity in sentence processing by simple recurrent networks Phil´emon Brakel () Stefan L. Frank () Institute for Logic, Language, and Computation, University of Amsterdam Sci Strong systematicity in sentence processing by simple recurrent networks Phil´emon Brakel () Stefan L. Frank () Institute for Logic, Language, and Computation, University of Amsterdam Sci](https://www.pdfsearch.io/img/b9621ca0d3d3a463c197b90f05a274d3.jpg) | Add to Reading ListSource URL: www.stefanfrank.infoLanguage: English - Date: 2012-03-11 05:05:11
|
---|
20![Petri Nets in Secondary CS Education Michael Rücker Niels Pinkwart Humboldt-Universität zu Berlin Petri Nets in Secondary CS Education Michael Rücker Niels Pinkwart Humboldt-Universität zu Berlin](https://www.pdfsearch.io/img/215d21b290e5493dfae44e6ab171b88f.jpg) | Add to Reading ListSource URL: cses.informatik.hu-berlin.deLanguage: English - Date: 2014-11-13 08:07:59
|
---|